/* 先打表找规律 */
#include<bits/stdc++.h>
using namespace std;
int main(){
    long long x,y,len;
    long long ans=0;
    scanf("%lld%lld",&x,&y);
    if(y>x)ans=(y-x)*x,y=x;
    len=sqrt(x);
    for(int i=1;i<=len;i++)
        ans+=x%i;
    for(int i=1;i<len;i++){
        int r=min(y,x/i),l=x/(i+1)+1;
        if(l>y)continue;
        ans+=(r-l+1)*(x%r+x%l)/2;
    }
    ans+=(x/len-len)*((x%(x/len))+(x%(len+1)))/2;
    printf("%lld",ans);
}